Canonical structure of minimal varying Λ theories

نویسندگان

چکیده

Minimal varying $\Lambda$ theories are defined by an action built from the Einstein-Cartan-Holst first order for gravity with cosmological constant as independent scalar field, and supplemented Euler Pontryagin densities multiplied $1/\Lambda$. We identify canonical structure of these which turn out to represent example irregular systems. find five degrees freedom on generic backgrounds values parameters, whereas if parameters satisfy a certain condition (which includes most commonly considered case) only three remain. On de Sitter-like changes, due emergent conformal symmetry one degree drops spectrum. also analyze self-dual case holomorphic depending part connection. In this we two (complex) freedom, further discuss Kodama state, restriction Sitter background effect reality conditions.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parametric λ-Theories

The parametric lambda calculus subsumes different existing λ-calculi, in particular the classical λβ-calculus and the λβv-calculus of Plotkin. Previously established results on the parametric calculus, such as as confluence and standardization, are primarily syntactical. In this paper our attention is mainly addressed to semantics, although we start again from a syntactical point of view. We pr...

متن کامل

Canonical Ground Horn Theories

An abstract framework of canonical inference based on proof orderings is applied to ground Horn theories with equality. A finite presentation that makes all normal-form proofs available is called saturated. To maximize the chance that a saturated presentation be finite, it should also be contracted, in which case it is deemed canonical. We apply these notions to propositional Horn theories – or...

متن کامل

Effective λ-models versus recursively enumerable λ-theories

A longstanding open problem is whether there exists a non-syntactical model of the untyped λ-calculus whose theory is exactly the least λ-theory λβ . In this paper we investigate the more general question of whether the equational/order theory of a model of the untyped λ-calculus can be recursively enumerable (r.e. for brevity). We introduce a notion of effective model of λ-calculus, which cove...

متن کامل

Minimal and Canonical Images

We describe a family of new algorithms for finding the canonical image of a set of points under the action of a permutation group. This family of algorithms makes use of the orbit structure of the group, and a chain of subgroups of the group, to efficiently reduce the amount of search which must be performed to find a canonical image. We present both a formal proof of correctness of our algorit...

متن کامل

Determining the order of minimal realization of descriptor systems without use of the Weierstrass canonical form

A common method to determine the order of minimal realization of a continuous linear time invariant descriptor system is to decompose it into slow and fast subsystems using the Weierstrass canonical form. The Weierstrass decomposition should be avoided because it is generally an ill-conditioned problem that requires many complex calculations especially for high-dimensional systems. The present ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Classical and Quantum Gravity

سال: 2021

ISSN: ['1361-6382', '0264-9381']

DOI: https://doi.org/10.1088/1361-6382/ac1852